Buy Used and New Michael Hanus Books

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642006746

Format: Paperback (253 pages)
Publisher: Springer
Published: 22 Apr 2009

Save for later

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783642005145

Format: Paperback (185 pages)
Publisher: Springer
Published: 27 Feb 2009

Save for later

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in ... / Programming and Software Engineering)

by

ISBN 13: 9783540696087

Format: Paperback (335 pages)
Publisher: Springer
Published: 22 Dec 2006

Save for later

Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September ... Papers (Lecture Notes in Computer Science)

by Michael Hanus,Ricardo Rocha

ISBN 13: 9783319089089

Format: Paperback (264 pages)
Publisher: Springer
Published: 24 Jul 2014

Save for later

Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, ... 10997 (Lecture Notes in Computer Science)

by Dietmar Seipel,Michael Hanus,Salvador Abreu

ISBN 13: 9783030008000

Format: Paperback (228 pages)
Publisher: Springer
Published: 27 Sep 2018

Save for later

Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings: 1139 (Lecture Notes in Computer Science)

by Michael Hanus,Mario Rodriguez-Artalejo

ISBN 13: 9783540617358

Format: Paperback (360 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers: 12560 (Lecture Notes in Computer Science, 12560)

by Michael Hanus,Claudio Sacerdoti Coen

ISBN 13: 9783030753320

Format: Paperback (152 pages)
Publisher: Springer
Published: 06 May 2021

Save for later

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings: 13215 (Lecture Notes in Computer Science, 13215)

by Michael Hanus,Atsushi Igarashi

ISBN 13: 9783030994600

Format: Paperback (299 pages)
Publisher: Springer
Published: 31 Mar 2022

Save for later